Section: New Software and Platforms

GNU MPFR: a library for arbitrary precision floating-point arithmetic

Keywords: Multiple-Precision - Floating-point - Correct Rounding

GNU MPFR is an efficient multiple-precision floating-point library written in C with well-defined semantics (copying the good ideas from the IEEE-754 standard), in particular correct rounding in 5 rounding modes. GNU MPFR provides about 80 mathematical functions, in addition to utility functions (assignments, conversions...). Special data (Not a Number, infinities, signed zeros) are handled like in the IEEE-754 standard. It is distributed under the LGPL license.

The development of MPFR started in Loria (Nancy). When Vincent Lefèvre moved from Nancy to Lyon, it became a joint project between the project-team Caramel (Nancy) and AriC. Many systems use MPFR, several of them being listed on its web page. MPFR 3.1.3 was released on 19 June 2015.

New developments in the trunk: Full rewrite of mpfr_sum completed, with new tests [38] . Generic tests improved. Bug fixes and various improvements, in particular concerning the flags.

• Participants: Vincent Lefèvre, Guillaume Hanrot and Paul Zimmermann

• Contact: Vincent Lefèvre

• URL: http://www.mpfr.org/